Contents
نویسندگان
چکیده
ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und MechanikVolume 101, Issue 12 e202102013 CONTENTSFree Access Contents First published: 15 December 2021 https://doi.org/10.1002/zamm.202102013AboutPDF ToolsRequest permissionExport citationAdd to favoritesTrack citation ShareShare Give accessShare full text full-text accessPlease review our Terms Conditions Use check box below share version article.I have read accept the Wiley Online Library UseShareable LinkUse link a this article with your friends colleagues. Learn more.Copy URL Share linkShare onFacebookTwitterLinkedInRedditWechat Volume101, Issue12December 2021e202102013 RelatedInformation
منابع مشابه
CONTENTS Contents �
We illustrate the use of functional system speci cations and their re nement in the development of system components by a simple case study The development includes the modular speci cation re nement and veri cation of system components We start the development with an informal description of the tasks of the case study and then step by step carry out the tasks formally The informal requirement...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Mathematics and Mechanics
سال: 2021
ISSN: ['1521-4001', '0044-2267']
DOI: https://doi.org/10.1002/zamm.202102013